let z = (let id = fun (x : int) -> x in id) (0)
